检索结果

Select

1. 代码相似性检测技术综述

孙祥杰, 魏强, 王奕森, 杜江

《计算机应用》唯一官方网站 2024, 44 (4): 1248-1258. DOI: 10.11772/j.issn.1001-9081.2023040551

摘要（166）

HTML （1）

PDF （1868KB）（120）

代码复用为软件开发带来便利的同时也引入了安全风险，如加速漏洞传播、代码恶意抄袭等，代码相似性检测技术通过分析代码间词法、语法、语义等信息计算代码相似程度，是判断代码复用最有效的技术之一，也是近年发展较快的程序安全分析技术。首先，系统梳理代码相似性检测的近期技术进展，根据目标代码是否开源，将代码相似性检测技术分为源码相似性检测和二进制代码相似性检测，又根据编程语言、指令集的不同进行二次细分；其次，总结每一种技术的思路和研究成果，分析机器学习技术在代码相似性检测领域成功的案例，并讨论现有技术的优势与不足；最后，给出代码相似性检测技术的发展趋势，为相关研究人员提供参考。

图表 | 参考文献 | 相关文章 | 多维度评价

Select

2. 基于状态转换的PLC程序模型构建方法

常天佑, 魏强, 耿洋洋

计算机应用 2017, 37 (12): 3574-3580. DOI: 10.11772/j.issn.1001-9081.2017.12.3574

摘要（485）

PDF （1124KB）（620）

针对可编程逻辑控制器（PLC）程序在进行NuSMV模型检测时需要手工对程序进行建模，不仅浪费人力且容易出错的问题，提出一种基于状态转移的PLC程序模型自动化构建方法。该方法首先分析结构化文本（ST）语言特性并解析ST程序为抽象语法树；其次，在抽象语法树基础上，根据不同的文法结构进行控制流分析生成控制流图；然后，通过数据流分析得到程序依赖图；最后，根据程序依赖图生成NuSMV的输入模型。实验结果表明，所提方法实现了ST程序到NuSMV输入模型的自动化构建，并且构建的NuSMV输入模型既保留了ST程序的原有特性又符合NuSMV模型检测工具输入的规范，与传统手工模型构建方法相比，提高了模型生成的效率和准确率。

参考文献 | 相关文章 | 多维度评价

Select

3. 新型的卫星导航信号体制设计

薛睿徐锡超魏强

计算机应用 2014, 34 (6): 1573-1577. DOI: 10.11772/j.issn.1001-9081.2014.06.1573

摘要（379）

PDF （756KB）（443）

为进一步提高导航信号精度、频带效率及增强导航系统可靠性,提出一种基于低密度奇偶校验(LDPC)码的最小频移键控—二进制偏移载波(MSK-BOC)调制信号体制(LDPC-MSK-BOC)。以Compass和GPS信号典型参数为例,采用功率谱密度、码跟踪误差、多径误差包络、误比特率、解调抗窄带/匹配谱干扰品质因数、码跟踪抗窄带/匹配谱品质因数、谱分离系数等参数来评估二进制偏移载波(BOC)和MSK-BOC两种信号的导航性能。理论分析和仿真结果表明:在频带资源受限的条件下,与BOC信号体制相比,所提出的信号体制在码跟踪精度和抗多径方面有更好的性能;同时可进一步提高系统的可靠性,改善频带利用率。

参考文献 | 相关文章 | 多维度评价

Select

4. 识别恶意软件中的加密函数

蔡建章魏强祝跃飞

计算机应用 2013, 33 (11): 3239-3243.

摘要（559）

PDF （773KB）（368）

针对恶意软件通过加密函数规避安全检测和流量分析这一问题，提出了一种识别恶意软件中加密函数的方法。通过识别恶意软件动态执行路径中的循环、循环的输入和输出参数，构建恶意软件的动态循环数据流图，通过循环数据流图提取循环的输入和输出参数集合，设计已知加密函数的参考实现对循环输入集合中的元素进行运算，判断输出是否能够匹配输出集合中的元素从而识别恶意软件中的加密函数。实验证明此分析方法能够分析严重混淆的恶意软件其传输载荷所采用的加密函数。

相关文章 | 多维度评价

Select

5. 传输速率感知的机会路由候选路由节点选择和排序

陈伟魏强赵玉婷

计算机应用 2011, 31 (11): 2895-2897. DOI: 10.3724/SP.J.1087.2011.02895

摘要（978）

PDF （482KB）（475）

以期望传输时延为度量指标，提出了传输速率感知的机会路由候选路由节点选择和排序算法。分解机会路由为节点到其候选路由节点集的anycast传输和候选路由节点集到目的节点的剩余机会路由传输，迭代计算节点的机会路由最小期望传输时延，根据最小期望传输时延选择和排序候选路由节点。模拟实验结果表明，提出的机会路由候选路由节点选择和排序算法能明显提高机会路由的传输性能。

参考文献 | 相关文章 | 多维度评价

Select

6. 针对等价指令替换变形的归一化研究

金然魏强王清贤

计算机应用

摘要（1460）

PDF （973KB）（1043）

针对等价指令替换常用变形技术提出了相应的归一化方法。该方法先通过引入标准指令和建立等价转换规则来对检测代码进行重写处理；然后，再根据各基本块的数据依赖图对标准指令顺序进行调整。在该方法基础上，提出了一种综合归一化方案，该方案旨在能有效应对现实中使用了多种常用变形技术的恶意代码。最后以Win32.Evol，Win32.Zperm和Win32.Bistro为对象的实例研究验证了该方案的有效性。